6

The rely-guarantee method for verifying shared variable concurrent programs

Année:
1997
Langue:
english
Fichier:
PDF, 1.41 MB
english, 1997
7

Rate monotonic scheduling re-analysed

Année:
2010
Langue:
english
Fichier:
PDF, 171 KB
english, 2010
9

Dietary Fiber Intake Reduces Risk for Colorectal Adenoma: A Meta-analysis

Année:
2014
Langue:
english
Fichier:
PDF, 2.23 MB
english, 2014
13

All-fiber laser with flattop beam output using a few-mode fiber Bragg grating

Année:
2018
Langue:
english
Fichier:
PDF, 1.60 MB
english, 2018
15

How to Make a Fast, Efficient Bubble-Driven Micromotor: A Mechanical View

Année:
2017
Langue:
english
Fichier:
PDF, 3.00 MB
english, 2017
29

Completeness of temporal logics over infinite intervals

Année:
2004
Langue:
english
Fichier:
PDF, 252 KB
english, 2004
30

IEEE 1394 Tree Identify Protocol: Introduction to the Case Study

Année:
2003
Langue:
english
Fichier:
PDF, 171 KB
english, 2003
31

Refinement of fair action systems

Année:
1998
Langue:
english
Fichier:
PDF, 243 KB
english, 1998
40

Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs

Année:
2003
Langue:
english
Fichier:
PDF, 171 KB
english, 2003